<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <script src="../../src/js/analysis.js" type="text/javascript"></script>
    <script src="../../src/js/InputManager.js" type="text/javascript"></script>
      <script src="../../../node_modules/escodegen/escodegen.browser.js" type="text/javascript"></script>
      <script src="../../../node_modules/esprima/esprima.js" type="text/javascript"></script>
      <script src="../../../src/js/instrument/esnstrument.js" type="text/javascript"></script>

    <script src="mini_jalangi_.js"></script>
    <script src="handler_jalangi_.js"></script>
      <script src="handler_jalangi_.js"></script>
  </head>
  <body>
    <p id="p1">Hi there!</p>
  </body>
</html>
